- интуиционистское следствие
- Mathematics: intuitionistic consequence
Универсальный русско-английский словарь. Академик.ру. 2011.
интуиционистское следствие
Смотреть что такое "интуиционистское следствие" в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Секвенций исчисление — (позднелатинское sequentia последовательность, следствие) секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… … Большая советская энциклопедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
РАЦИОНАЛЬНОСТЬ — (от лат. ratio разум) разумность, характеристика знания с т.зр. его соответствия наиболее общим принципам мышления, разума. Поскольку совокупность таких принципов не является вполне ясной и не имеет отчетливой границы, понятию «Р.» свойственны и… … Философская энциклопедия
